$\forall$$w$:World, ${\it e''}$:E.
\\[0ex]FairFifo $\Rightarrow$ ($\uparrow$rcv?(${\it e''}$)) $\Rightarrow$ ($\uparrow$match(link(${\it e''}$);time(sender(${\it e''}$));time(${\it e''}$)))